<html><body bgcolor=white onload='parent.fileFinishedLoading();'>
<link rel=stylesheet type="text/css" href="styles.css"><pre>
struct <img name="if0" src=pixel.gif width=10 height = 10> <a name="f0"></a>printf_arguments {
   int i ;
   double d ;
   char <img name="in3" src=pixel.gif width=10 height = 10> <a name="n3" class="other" href="javascript: sn(3)">*<sub>3</sub></a>s <img name="in4" src=pixel.gif width=10 height = 10> <a name="n4" class="safe" href="javascript: sn(4)">&<sub>4</sub></a>;
   long long ll ;
};
<img name="if1" src=pixel.gif width=10 height = 10> <a name="f1"></a>extern void __ccuredInit(void) ;
<img name="if2" src=pixel.gif width=10 height = 10> <a name="f2"></a>extern void abort_deepcopy(char  * errmsg  ) ;
<img name="if3" src=pixel.gif width=10 height = 10> <a name="f3"></a>extern int /*1*/__ccured_has_empty_mangling(unsigned int   ) ;
<img name="if4" src=pixel.gif width=10 height = 10> <a name="f4"></a>extern void <img name="in29" src=pixel.gif width=10 height = 10> <a name="n29" class="safe" href="javascript: sn(29)">*<sub>29</sub></a>/*2*/__trusted_cast(unsigned int p  ) <img name="in31" src=pixel.gif width=10 height = 10> <a name="n31" class="safe" href="javascript: sn(31)">&<sub>31</sub></a>;
<img name="if5" src=pixel.gif width=10 height = 10> <a name="f5"></a>extern unsigned int /*3*/wrapperAlloc(unsigned int   ) ;
<img name="if6" src=pixel.gif width=10 height = 10> <a name="f6"></a>extern char <img name="in34" src=pixel.gif width=10 height = 10> <a name="n34" class="fseq" href="javascript: sn(34)">*<sub>34</sub></a>/*4*/__mkptr_string(char <img name="in35" src=pixel.gif width=10 height = 10> <a name="n35" class="other" href="javascript: sn(35)">*<sub>35</sub></a>p  ) <img name="in36" src=pixel.gif width=10 height = 10> <a name="n36" class="safe" href="javascript: sn(36)">&<sub>36</sub></a>;
<img name="if7" src=pixel.gif width=10 height = 10> <a name="f7"></a>extern void <img name="in37" src=pixel.gif width=10 height = 10> <a name="n37" class="safe" href="javascript: sn(37)">*<sub>37</sub></a>/*5*/__trusted_cast(unsigned int p  ) <img name="in39" src=pixel.gif width=10 height = 10> <a name="n39" class="safe" href="javascript: sn(39)">&<sub>39</sub></a>;
<img name="if8" src=pixel.gif width=10 height = 10> <a name="f8"></a>extern void <img name="in41" src=pixel.gif width=10 height = 10> <a name="n41" class="safe" href="javascript: sn(41)">*<sub>41</sub></a>/*6*/__trusted_deepcast(void <img name="in42" src=pixel.gif width=10 height = 10> <a name="n42" class="safe" href="javascript: sn(42)">*<sub>42</sub></a>p  ) <img name="in43" src=pixel.gif width=10 height = 10> <a name="n43" class="safe" href="javascript: sn(43)">&<sub>43</sub></a>;
<img name="if9" src=pixel.gif width=10 height = 10> <a name="f9"></a>extern void <img name="in44" src=pixel.gif width=10 height = 10> <a name="n44" class="seq" href="javascript: sn(44)">*<sub>44</sub></a>/*7*/__mkptr_size(void <img name="in45" src=pixel.gif width=10 height = 10> <a name="n45" class="safe" href="javascript: sn(45)">*<sub>45</sub></a>p  ,
                               unsigned int len  ) <img name="in46" src=pixel.gif width=10 height = 10> <a name="n46" class="safe" href="javascript: sn(46)">&<sub>46</sub></a>;
int main(int argc  ,
         char <img name="in9" src=pixel.gif width=10 height = 10> <a name="n9" class="other" href="javascript: sn(9)">*<sub>9</sub></a><img name="in10" src=pixel.gif width=10 height = 10> <a name="n10" class="safe" href="javascript: sn(10)">*<sub>10</sub></a>__argv_input  <img name="in13" src=pixel.gif width=10 height = 10> <a name="n13" class="safe" href="javascript: sn(13)">&<sub>13</sub></a>) <img name="in11" src=pixel.gif width=10 height = 10> <a name="n11" class="safe" href="javascript: sn(11)">&<sub>11</sub></a>;
<img name="if10" src=pixel.gif width=10 height = 10> <a name="f10"></a>int main(int argc  ,
         char <img name="in9" src=pixel.gif width=10 height = 10> <a name="n9" class="other" href="javascript: sn(9)">*<sub>9</sub></a><img name="in10" src=pixel.gif width=10 height = 10> <a name="n10" class="safe" href="javascript: sn(10)">*<sub>10</sub></a>__argv_input  <img name="in13" src=pixel.gif width=10 height = 10> <a name="n13" class="safe" href="javascript: sn(13)">&<sub>13</sub></a>) 
{ char <img name="in14" src=pixel.gif width=10 height = 10> <a name="n14" class="fseq" href="javascript: sn(14)">*<sub>14</sub></a><img name="in15" src=pixel.gif width=10 height = 10> <a name="n15" class="seq" href="javascript: sn(15)">*<sub>15</sub></a>argv <img name="in16" src=pixel.gif width=10 height = 10> <a name="n16" class="safe" href="javascript: sn(16)">&<sub>16</sub></a>;
  char <img name="in17" src=pixel.gif width=10 height = 10> <a name="n17" class="fseq" href="javascript: sn(17)">*<sub>17</sub></a>p <img name="in18" src=pixel.gif width=10 height = 10> <a name="n18" class="safe" href="javascript: sn(18)">&<sub>18</sub></a>;
  int no_mangling5 ;
  int num_strings6 ;
  char <img name="in21" src=pixel.gif width=10 height = 10> <a name="n21" class="other" href="javascript: sn(21)">*<sub>21</sub></a><img name="in22" src=pixel.gif width=10 height = 10> <a name="n22" class="safe" href="javascript: sn(22)">*<sub>22</sub></a>p_argv7 <img name="in23" src=pixel.gif width=10 height = 10> <a name="n23" class="safe" href="javascript: sn(23)">&<sub>23</sub></a>;
  unsigned int argvsize8 ;
  char <img name="in25" src=pixel.gif width=10 height = 10> <a name="n25" class="fseq" href="javascript: sn(25)">*<sub>25</sub></a><img name="in26" src=pixel.gif width=10 height = 10> <a name="n26" class="safe" href="javascript: sn(26)">*<sub>26</sub></a>tmp_argv9 <img name="in27" src=pixel.gif width=10 height = 10> <a name="n27" class="safe" href="javascript: sn(27)">&<sub>27</sub></a>;

  {
  {
  no_mangling5 = 0;
  if (__argv_input) {
    {
    no_mangling5 = <a href="javascript: sf(0, 'if3')">/*1*/__ccured_has_empty_mangling</a> (sizeof((*argv)));
    }
  } else {
    {
    no_mangling5 = 1;
    }
  }
  num_strings6 = 0;
  p_argv7<img name="if11" src=pixel.gif width=10 height = 10> <a name="f11"></a> = __argv_input;
  while ((unsigned int )(*p_argv7)) {
    {
    num_strings6 = num_strings6 + 1;
    p_argv7 = (char <img name="in21" src=pixel.gif width=10 height = 10> <a name="n21" class="other" href="javascript: sn(21)">*<sub>21</sub></a><img name="in22" src=pixel.gif width=10 height = 10> <a name="n22" class="safe" href="javascript: sn(22)">*<sub>22</sub></a>)<a href="javascript: sf(0, 'if4')">/*2*/__trusted_cast</a> ((<img name="if12" src=pixel.gif width=10 height = 10> <a name="f12"></a>void <img name="in32" src=pixel.gif width=10 height = 10> <a name="n32" class="safe" href="javascript: sn(32)">*<sub>32</sub></a>)((long )p_argv7 + sizeof((*__argv_input))));
    }
  }
  if (no_mangling5) {
    {
    tmp_argv9 = (char <img name="in25" src=pixel.gif width=10 height = 10> <a name="n25" class="fseq" href="javascript: sn(25)">*<sub>25</sub></a><img name="in26" src=pixel.gif width=10 height = 10> <a name="n26" class="safe" href="javascript: sn(26)">*<sub>26</sub></a>)<a href="javascript: sf(0, 'if8')">/*6*/__trusted_deepcast</a> (__argv_input);
    argv = (<img name="if18" src=pixel.gif width=10 height = 10> <a name="f18"></a>char <img name="in14" src=pixel.gif width=10 height = 10> <a name="n14" class="fseq" href="javascript: sn(14)">*<sub>14</sub></a><img name="in15" src=pixel.gif width=10 height = 10> <a name="n15" class="seq" href="javascript: sn(15)">*<sub>15</sub></a>)<a href="javascript: sf(0, 'if9')">/*7*/__mkptr_size</a> (<img name="if17" src=pixel.gif width=10 height = 10> <a name="f17"></a>tmp_argv9,
                                      (1 + num_strings6) * sizeof((*argv)));
    }
  } else {
    {
    argvsize8 = (1 + num_strings6) * sizeof((*argv));
    argv = (char <img name="in14" src=pixel.gif width=10 height = 10> <a name="n14" class="fseq" href="javascript: sn(14)">*<sub>14</sub></a><img name="in15" src=pixel.gif width=10 height = 10> <a name="n15" class="seq" href="javascript: sn(15)">*<sub>15</sub></a>)<a href="javascript: sf(0, 'if5')">/*3*/wrapperAlloc</a> (argvsize8);
    while (num_strings6 >= 0) {
      {
      (*(argv <img name="if15" src=pixel.gif width=10 height = 10> <a name="f15"></a>+ num_strings6)) = (<img name="if14" src=pixel.gif width=10 height = 10> <a name="f14"></a>char <img name="in14" src=pixel.gif width=10 height = 10> <a name="n14" class="fseq" href="javascript: sn(14)">*<sub>14</sub></a>)<a href="javascript: sf(0, 'if6')">/*4*/__mkptr_string</a> (<img name="if13" src=pixel.gif width=10 height = 10> <a name="f13"></a>(*p_argv7));
      p_argv7 = (char <img name="in21" src=pixel.gif width=10 height = 10> <a name="n21" class="other" href="javascript: sn(21)">*<sub>21</sub></a><img name="in22" src=pixel.gif width=10 height = 10> <a name="n22" class="safe" href="javascript: sn(22)">*<sub>22</sub></a>)<a href="javascript: sf(0, 'if7')">/*5*/__trusted_cast</a> ((<img name="if16" src=pixel.gif width=10 height = 10> <a name="f16"></a>void <img name="in40" src=pixel.gif width=10 height = 10> <a name="n40" class="safe" href="javascript: sn(40)">*<sub>40</sub></a>)((long )p_argv7 - sizeof((*__argv_input))));
      num_strings6 = num_strings6 - 1;
      }
    }
    }
  }
  }
  __ccuredAlwaysStopOnError = 0;
  __ccuredUseStrings = 1;
  __ccuredLogNonPointers = 0;
  <a href="javascript: sf(0, 'if1')">__ccuredInit</a> ();
  while ((*argv)) {
    p<img name="if19" src=pixel.gif width=10 height = 10> <a name="f19"></a> = (*argv);
    while ((*p)) {
      p = p <img name="if20" src=pixel.gif width=10 height = 10> <a name="f20"></a>+ 1;
    }
    argv = argv <img name="if21" src=pixel.gif width=10 height = 10> <a name="f21"></a>+ 1;
  }
  return (0);
}
}
</pre>
<script language="javascript">
// Trampoline for sn
var sn = parent.sn;
var sf = parent.sf;
var sff = parent.sff;
if(parent.fileFinishedLoading == undefined) { alert('The code is not yet loaded (in source file)');}
</script></html>
